- [網(wǎng)絡(luò)] 算法程序
下載手機詞典可隨時隨地查詞查翻譯
algorithmic program中文什么意思
例句與用法
- developing correct and efficient algorithmic programs has become a key topic in the computer science community
為了更好地解決這兩個至關(guān)重要的問題，par方法應(yīng)運而生。 - formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
有效解決“軟件危機”的一種重要途徑是使用形式化方法來開發(fā)軟件產(chǎn)品。 - herein, we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun
本文提出的基于算法框架的軟件設(shè)計及分析復(fù)用技術(shù)是利用薛錦云教授提出的par方法，對算法程序進行形式化推導(dǎo)，得到其抽象算法。 - par is a practical environment for formal development of algorithmic programs, which is proposed by professor xue . it is based on the research of the projects supported by the national natural science foundation of china
薛錦云教授在國家863和多項國家自然科學(xué)基金的資助下，根據(jù)多年從事算法程序設(shè)計理論研究的成果，提出了一種實用的開發(fā)和證明算法的方法??par。
相關(guān)詞匯
其他語言
相鄰詞匯
- algorithmic macrodesign system 什么意思
- algorithmic measure of reliability 什么意思
- algorithmic models 什么意思
- algorithmic pattern-genera-tion testing 什么意思
- algorithmic processor description 什么意思
- algorithmic programs 什么意思
- algorithmic randomness 什么意思
- algorithmic rules 什么意思
- algorithmic simulation 什么意思
- algorithmic statemachine 什么意思